let (<<<) a b = (cmp a b <= 0)